Anti-realist Classical Logic and Realist Mathematics
نویسنده
چکیده
I sketch an application of a semantically anti-realist understanding of the classical sequent calculus to the topic of mathematics. The result is a semantically anti-realist defence of a kind of mathematical realism. In the paper, I begin the development of the view and compare it to orthodox positions in the philosophy of mathematics.
منابع مشابه
Which Logic for the Radical Anti-realist?
Since the ground-breaking contributions of M. Dummett (Dummett 1978), it is widely recognized that anti-realist principles have a critical impact on the choice of logic. Dummett argued that classical logic does not satisfy the requirements of such principles but that intuitionistic logic does. Some philosophers have adopted a more radical stance and argued for a more important departure from cl...
متن کاملThe Realist Tradition in American Public Opinion
For more than half a century, realist scholars of international relations have maintained that their world view is inimical to the American public. For a variety of reasons—inchoate attitudes, national history, American exceptionalism—realists assert that the U.S. government pursues realist policies in spite and not because of public opinion. Indeed, most IR scholars share this “anti-realist as...
متن کاملMethodology of Realist Review in the Health System
Background and Aim: The realist review has been introduced to review and synthesize the evidence related to the implementation of complex healthcare interventions. This method interprets the results of an intervention by explaining the causal relationships between the intervention and the results. This study aimed to explain the methodology of realist review in the health system. Materials and...
متن کاملA Synopsis of Morphoid Type Theory
Morphoid type theory (MTT) is a typetheoretic foundation for mathematics supporting the concept of isomorphism and the substitution of isomorphics. Unlike homotopy type theory (HoTT), which also supports isomorphism, morphoid type theory is a direct extension of classical predicate calculus and avoids the intuitionistic constructs of propositionsas-types, path induction and squashing. Although ...
متن کاملThe use of non-realist semantics within Knowledge Representation
The role of classical (Tarskian) semantics within logic-based Knowledge Representation has come under attack even from some within the symbolic AI camp, for example McDermott ((McD87]) and Kowalski ((Kow93]). The alternative seems to be some more procedural account of the meaning of the logical formalisms used and the operations based on it. In neither case is the alternative suuciently worked ...
متن کامل